$\forall$${\it Cmd}$:Type, $v$:chain\_sys(${\it Cmd}$). ($\uparrow$csinput?($v$)) $\vee$ ($\uparrow$csupdate?($v$))